Biblioteca Dr. Antonio Monteiro · Catálogo | |
1. | Ancient formal logic / I. M. Bochenski. | 1951 | Libro |
03 B664 |
2. | Outlines of a formalist philosophy of mathematics / Haskell B. Curry. | 1951 | Libro |
03 C976o |
3. | The propositional logic of Boethius / Karl Dürr ; [translated from the German by Norman M. Martin]. | 1951 | Libro |
03 D965 |
4. | On the metamathematics of algebra / Abraham Robinson. | 1951 | Libro |
03 R658m |
5. | An essay in modal logic / Georg H. von Wright. | 1951 | Libro |
03 W947 |
6. | Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski. | 1952 | Libro |
03 M916 |
7. | Many-valued logics / J. Barkley Rosser, Atwell R. Turquette. | 1952 | Libro |
03 R828m |
8. | Abstract set theory / Abraham A. Fraenkel. | 1953 | Libro |
03 F799 |
9. | Truth and consequence in mediaeval logic / Ernest A. Moody. | 1953 | Libro |
03 M817 |
10. | Undecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. | 1953 | Libro |
03 T193u |
11. | Solvable cases of the decision problem / by W. Ackermann. | 1954 | Libro |
03 Ac182 |
12. | Nomological statements and admissible operations / Hans Reichenbach. | 1954 | Libro |
03 R351n |
13. | Mathematical interpretation of formal systems / Th. Skolem ... [et al.]. | 1955 | Libro |
03 M426 |
14. | Intuitionism : an introduction / A. Heyting. | 1956 | Libro |
03 H621 |
15. | Complete theories / Abraham Robinson. | 1956 | Libro |
03 R658c |
16. | Ordinal algebras / by Alfred Tarski ; with appendices by Chen-Chung Chang and Bjarni Jónsson. | 1956 | Libro |
06 T193o |
17. | Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein. | 1957 | Libro |
03 G655 |
18. | Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel. | 1958 | Libro |
03 B524 |
19. | Combinatory logic / Haskell B. Curry, Robert Feys ; with two sections by William Craig. | 1958-1972 | Libro |
03 C976c |
20. | Foundations of set theory / Abraham A. Fraenkel and Yehoshua Bar-Hillel. | 1958 | Libro |
03 F799f |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com